Merge from gnulib, incorporating:
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 30 Jul 2012 06:07:22 +0000 (23:07 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 30 Jul 2012 06:07:22 +0000 (23:07 -0700)
commitb693d640c5203a830fce2c5097e161d7fe342e5e
treead5bd2d67cca3b57beb6fb4b5142e80a7904fad3
parent5048ce1e6fd97d577ef1d9aed46a77d99f8942cb
Merge from gnulib, incorporating:

* doc/misc/texinfo.tex: Update to 2012-07-29.17 version.
ChangeLog
doc/misc/texinfo.tex